monad相关论文
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matt......
该文针对Monad理论方法探讨了Monad本身的一些理论问题同时也讨论了Monad这一理论模型在软件技术中的一些重要应用.在Monad理论方......
基于软件自动化的考虑,在深入研究指称语义和Monad的基础上,给出了指称语义的转换方法和Monad的转换方法.具体给出了从直接指称语......
本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔· 波普尔的三个交......
We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad......
,Mathematical concepts and their physical foundation in the nonstandard analysis theory of turbulenc
Main mathematical concepts and their physical foundation in the nonstandard analysis theory of turbulence are presented ......
本文采用演算的方式对余代数理论进行了研究，并将所得到的理论成果应用于构件化软件开发方法中。在本文中，提出了基于状态的类属化软......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
我的同事Karen Forster写编辑者言一向守时，但这一期却有些不尽人意。先是挑选主题时拿不定主意，比以往晚了一个星期才最终开始动笔......
摘 要：无限性是理解康德早中期思想，特别是物质思想的一条重要线索。在无限性思想的基础上，康德又运用斥力和引力概念，成功地建构了动......
一致空间有三种等价描述方式,即通过满足各自条件的关系族,覆盖族和伪度量族.本文利用非标准分析的方法研究了一致空间,给出了一致......
个体是莱布尼茨哲学的基石,个体化问题因此也是莱布尼茨哲学的重要问题。在其成熟时期的哲学中,＂个别化的知觉＋个别化的欲望＂,即＂整个......
本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了文件系统的语义。......
本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了文件系统的语义。......
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义.......
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义.......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
Laplace方程具有广泛的物理背景,是一类基本的椭圆方程.引入曲面积分的非标准定义,直观地指出Green函数在调和与非调和点的差异,给......
本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.......
莱布尼茨继承了中世纪的神学理性主义思想,并加以彻底理性化,使上帝成为理性秩序的化身,从而无需干涉世界。正是这种独特的神学思......
在非标准扩大模型下,讨论了模糊拓扑空间中有限覆盖性质的非标准刻画.将模糊集合扩张为非标准模糊集合,并定义了模糊点的单子.借助......
范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组。......
通过利用非标准分析中的扩大模型,对拓扑空间中的万有网进行了讨论,从而获得了万有网的非标准特征,并进一步利用这一性质对万有网......
在κ-饱和的非标准模型下,以自然的方式定义了模糊拓扑空间中的N-单子,Q-单子和R-单子,并证明了它们相应的逼近原理,讨论了它们之......
在扩大模型下,用超理想的单子对超理想进行刻画;进而用它给出了理想为超理想的条件;最后给出理想的单子与超理想的单子之间的关系.......
在扩大模型下,应用单子理论给出了拓扑等度连续和均匀连续的非标准刻画,并应用均匀连续的非标准特征证明了网收敛与均匀连续之间的......
本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个......
为了用非标准分析方法研究一般的数学问题,在扩大模型下,应用单子理论给出了拓扑等度连续.等度连续和均匀连续的非标准刻画,并利用......
在非标准扩大模型和拓扑的非标准定义基础之上,对拓扑空间中紧性的概念及相关结论进行了描述和刻画.一方面,这种新的定义与一般的......
应用非标准分析法研究线性拓扑空间中的若干性质.首先,在拓扑空间中,对集合的稠密性和无处稠密性进行非标准刻画.其次,给出映射连......
由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad......
由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad......
首先给出了单子和余单子的缠绕结构和缠绕模及其与代数和余代数的缠绕结构和缠绕模之间的关系，并构造了一个函子伴随对，其次定义了余......
A。Robinson 的顺序的词根被扩大到网络一般来说拓扑的空格，并且显然在 *R 的网络的盒子是它的推论。作为它的申请，纸关于一致集中的......
纯函数式语言缺乏处理非确定性功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中加入了非确定性处理功能，描述卫个基于非确定性Ｍｏｎａｄ的纯......
ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程，本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂......
ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程，本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂......
Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要......
Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要......
Monad作为构造纯函数式语言的工具，能构造出诸如错误处理、状态、10等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理......
Monad作为构造纯函数式语言的工具，能构造出诸如错误处理、状态、10等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理......
最近，微软发布了代号为Monad的Microsoft Command shell（MSH）的Beta 2版本，吸引了不少Windows玩家的眼球。这个原来说要集成在Windows ......
通过定义一个简单的反射语言, 给出了这种反射语言的一种基于Monad的解释器构造技术, 并以Haskell语言实现了这种语言的解释器.......
非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函......
非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函......
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出m......
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出m......
在非标准扩大模型下,利用集合X上全体理想之族,诱导出了集合X的非标准扩张＊X上的一种拓扑——∮-拓扑.研究了集合X上全体理想之族的......
<正> 文中涉及的拓扑空间约定都包含在标准全域 U 的个体集 S 中,非标准全域~*U 是扩大.m(α)表示α点的单子,x≈α表示x∈m(α).......
